2
Adapting Proofs-as-Programs : The Curry-Howard Protocol

Adapting Proofs-as-Programs : The Curry-Howard Protocol

年:
2005
语言:
english
文件:
PDF, 1.53 MB
0 / 0
english, 2005
11
Adapting Proofs-as-Programs: The Curry Howard Protocol

Adapting Proofs-as-Programs: The Curry Howard Protocol

年:
2005
语言:
english
文件:
PDF, 4.59 MB
0 / 0
english, 2005
18
LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

年:
2009
语言:
spanish
文件:
FB2 , 6.84 MB
0 / 0
spanish, 2009
21
Java kompakt: Eine Einfuhrung in die Software-Entwicklung mit Java

Java kompakt: Eine Einfuhrung in die Software-Entwicklung mit Java

年:
2013
语言:
german
文件:
PDF, 4.84 MB
0 / 0
german, 2013
26
Elementare Aussagenlogik

Elementare Aussagenlogik

年:
1991
语言:
german
文件:
PDF, 8.30 MB
0 / 0
german, 1991
50
Elementare Aussagenlogik

Elementare Aussagenlogik

年:
1991
语言:
german
文件:
DJVU, 2.34 MB
0 / 0
german, 1991